Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results

Testability is defined as the probability that a program will fail a test, conditional on the program containing some fault. In this paper, we show that statements about the testability of a program can be more simply described in terms of assumptions on the probability distribution of the failure intensity of the program. We can thus state general acceptance conditions in clear mathematical terms using Bayesian inference. We develop two scenarios, one for software for which the reliability requirements are that the software must be completely fault-free, and another for requirements stated as an upper bound on the acceptable failure probability

Myelination induces axonal hotspots of synaptic vesicle fusion that promote sheath growth

Myelination of axons by oligodendrocytes enables fast saltatory conduction. Oligodendrocytes are responsive to neuronal activity, which has been shown to induce changes to myelin sheaths, potentially to optimize conduction and neural circuit function. However, the cellular bases of activity-regulated myelination in vivo are unclear, partly due to the difficulty of analyzing individual myelinated axons over time. Activity-regulated myelination occurs in specific neuronal subtypes and can be mediated by synaptic vesicle fusion, but several questions remain: it is unclear whether vesicular fusion occurs stochastically along axons or in discrete hotspots during myelination and whether vesicular fusion regulates myelin targeting, formation, and/or growth. It is also unclear why some neurons, but not others, exhibit activity-regulated myelination. Here, we imaged synaptic vesicle fusion in individual neurons in living zebrafish and documented robust vesicular fusion along axons during myelination. Surprisingly, we found that axonal vesicular fusion increased upon and required myelination. We found that axonal vesicular fusion was enriched in hotspots, namely the heminodal non-myelinated domains into which sheaths grew. Blocking vesicular fusion reduced the stable formation and growth of myelin sheaths, and chemogenetically stimulating neuronal activity promoted sheath growth. Finally, we observed high levels of axonal vesicular fusion only in neuronal subtypes that exhibit activity-regulated myelination. Our results identify a novel "feedforward" mechanism whereby the process of myelination promotes the neuronal activity-regulated signal, vesicular fusion that, in turn, consolidates sheath growth along specific axons selected for myelination

Comparing Static and Dynamic Weighted Software Coupling Metrics

Coupling metrics that count the number of inter-module connections in a software system are an established way to measure internal software quality with respect to modularity. In addition to static metrics, which are obtained from the source or compiled code of a program, dynamic metrics use runtime data gathered, e.g., by monitoring a system in production. Dynamic metrics have been used to improve the accuracy of static metrics for object-oriented software. We study weighted dynamic coupling that takes into account how often a connection (e.g., a method call) is executed during a system’s run. We investigate the correlation between dynamic weighted metrics and their static counterparts. To compare the different metrics, we use data collected from four different experiments, each monitoring production use of a commercial software system over a period of four weeks. We observe an unexpected level of correlation between the static and the weighted dynamic case as well as revealing differences between class- and package-level analyses

Changes in Employment Uncertainty and the Fertility Intention-Realization Link: An Analysis Based on the Swiss Household Panel.

How do changes in employment uncertainty matter for fertility? Empirical studies on the impact of employment uncertainty on reproductive decision-making offer a variety of conclusions, ranging from gender and socio-economic differences in the effect of employment uncertainty on fertility intentions and behaviour, to the effect of employment on changes in fertility intentions. This article analyses the association between a change in subjective employment uncertainty and fertility intentions and behaviour by distinguishing male and female partners' employment uncertainty, and examines the variation in these associations by education. Using a sample of men and women living in a couple from the Swiss Household Panel (SHP 2002-2011), we examine through multinomial analysis how changes in employment uncertainty and selected socio-demographic factors are related to individual childbearing decisions. Our results show strong gendered effects of changes in employment uncertainty on the revision of reproductive decisions among the highly educated population

Differential Cerebral Cortex Transcriptomes of Baboon Neonates Consuming Moderate and High Docosahexaenoic Acid Formulas

BACKGROUND: Docosahexaenoic acid (DHA, 22:6n-3) and arachidonic acid (ARA, 20:4n-6) are the major long chain polyunsaturated fatty acids (LCPUFA) of the central nervous system (CNS). These nutrients are present in most infant formulas at modest levels, intended to support visual and neural development. There are no investigations in primates of the biological consequences of dietary DHA at levels above those present in formulas but within normal breastmilk levels. METHODS AND FINDINGS: Twelve baboons were divided into three formula groups: Control, with no DHA-ARA; “L”, LCPUFA, with 0.33%DHA-0.67%ARA; “L3”, LCPUFA, with 1.00%DHA-0.67%ARA. All the samples are from the precentral gyrus of cerebral cortex brain regions. At 12 weeks of age, changes in gene expression were detected in 1,108 of 54,000 probe sets (2.05%), with most showing <2-fold change. Gene ontology analysis assigns them to diverse biological functions, notably lipid metabolism and transport, G-protein and signal transduction, development, visual perception, cytoskeleton, peptidases, stress response, transcription regulation, and 400 transcripts having no defined function. PLA2G6, a phospholipase recently associated with infantile neuroaxonal dystrophy, was downregulated in both LCPUFA groups. ELOVL5, a PUFA elongase, was the only LCPUFA biosynthetic enzyme that was differentially expressed. Mitochondrial fatty acid carrier, CPT2, was among several genes associated with mitochondrial fatty acid oxidation to be downregulated by high DHA, while the mitochondrial proton carrier, UCP2, was upregulated. TIMM8A, also known as deafness/dystonia peptide 1, was among several differentially expressed neural development genes. LUM and TIMP3, associated with corneal structure and age-related macular degeneration, respectively, were among visual perception genes influenced by LCPUFA. TIA1, a silencer of COX2 gene translation, is upregulated by high DHA. Ingenuity pathway analysis identified a highly significant nervous system network, with epidermal growth factor receptor (EGFR) as the outstanding interaction partner. CONCLUSIONS: These data indicate that LCPUFA concentrations within the normal range of human breastmilk induce global changes in gene expression across a wide array of processes, in addition to changes in visual and neural function normally associated with formula LCPUFA